Design and Realization of Concepts for WCET Compiler Optimization
نویسندگان
چکیده
منابع مشابه
Processor pipelines in WCET analysis
Due to their nature, hard real-time embedded systems (e.g. flight control systems) must be guaranteed to satisfy their time constraints under all operating conditions. The provision of such guarantee relies on safe and precise estimates of the worst-case execution time (WCET) of tasks. As the execution time depends on both the program and the architecture running it, the growing sophistication ...
متن کاملBack Annotation in Action : from WCET Analysis to Source Code Verification
One of the essential safety parameters of real-time programs is the respect for the temporal restrictions imposed by the real-time systems. The assessment of this requirement is commonly based on the computation and verification of the worst-case execution time (WCET). The WCET is the main parameter used in schedulability analysis and can be used both on software optimization and on hardware di...
متن کاملApproximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size
With the growing complexity of embedded systems software, high code quality can only be achieved using a compiler. Sophisticated compilers provide a vast spectrum of various optimizations to improve code aggressively w.r.t. different objective functions, e.g. average-case execution time (ACET) or code size. Owing to the complex interactions between the optimizations, the choice for a promising ...
متن کاملAutomatic WCET Reduction by Machine Learning Based Heuristics for Function Inlining
The application of machine learning techniques in compiler frameworks has become a challenging research area. Learning algorithms are exploited for an automatic generation of optimization heuristics which often outperform hand-crafted models. Moreover, these automatic approaches can effectively tune the compilers’ heuristics after larger changes in the optimization sequence or they can be lever...
متن کاملExtraction and traceability of annotations for WCET estimation. (Extraction et traçabilité d'annotations pour l'estimation de WCET)
Real-time systems have become ubiquitous, and play an important role in our everydaylife. For hard real-time systems, computing correct results is not the only requirement.In addition, the worst-case execution times (WCET) are needed, and guarantee thatthey meet the required timing constraints. For tight WCET estimation, annotationsare required. Annotations are usually added at ...
متن کامل